\documentclass[10pt]{article}

\usepackage{a4wide}
\usepackage[utf8]{inputenc}
\usepackage[portuguese]{babel}
\usepackage[pdftex]{graphicx}
\usepackage{float}
\usepackage{url}
\usepackage{listings}
\usepackage{indentfirst}
\usepackage{color,soul}
\usepackage{listings}

\author{ \\
Projecto Integrado MFES,\\
Departamento de Informática, Universidade do Minho,\\
Campus de Gualtar, 4710-057 Braga, Portugal\\ \\
{\rm João Melo} \\ 
}\title{Análise da Propagação de Falhas em Sistemas Complexos}


\begin{document}
\thispagestyle{empty}
\maketitle


\begin{abstract}
Pretende-se desenvolver uma ferramenta de suporte à análise da propagação de falhas num sistema genérico com nível de complexidade elevada. Dada a diversidade de sistemas existentes, não existe, actualmente, um método que possibilite uma análise robusta. Esta ferramenta permitirá gerar várias perspectivas do sistema, facilitando a conjugação de vários métodos conhecidos.
\end{abstract}

\section{Introdução}
A análise de propagação de falhas é uma área bastante rica em metodologias, as metodologias a aplicar para realizar uma análise robusta de um sistema dependem das características do próprio, sendo que, dada a complexidade dos sistemas considerados, é habitual a conjugação de várias metodologias. Partindo deste contexto, tem-se por objectivos deste projecto elaborar uma ferramenta que auxilie o analista, produzindo várias perspectivas sobre o mesmo sistema, sendo que, cada perspectiva está associada a um método de análise específico. 

Em termos genéricos, para se realizar uma análise de um sistema é necessário inicialmente fazer uma descrição do sistema, neste aspecto, cada metodologia adopta uma descrição distinta. Desta forma e para possibilitar a geração das ditas perspectivas é objectivo desenvolver um método de descrição de sistema unificado, isto é, agregar numa só descrição do sistema toda a informação estritamente necessária que permita gerar diferentes interpretações do sistema, evitando desta forma erros de "tradução" entre descrições. 

Segue-se a apresentação sucinta das metodologias consideradas no contexto deste projecto.

\subsection{Fault-Tree Analysis}

\begin{center}
\includegraphics[scale=0.5]{images/GraphsFTA.png}
\end{center}
\begin{figure}[h]
\caption{Exemplo de uma Fault-Tree}
\end{figure}

\subsection{Event-Tree Analysis}

\begin{center}
\includegraphics[scale=0.5]{images/ETA.png}
\end{center}
\begin{figure}[h]
\caption{Exemplo de uma Event-Tree}
\end{figure}

\subsection{Failure Modes and Effects Analysis}

\begin{center}
\includegraphics[scale=0.5]{images/FMEA.png}
\end{center}
\begin{figure}[h]
\caption{Vista em grafo de um sistema descrito usando Failure Modes and Effects Analysis}
\label{fig:jobInfoDialog}
\end{figure}

\section{Descrição do Sistema}

Pretende-se desenvolver uma sintaxe para representar toda a informação de um sistema. A informação que se pretende registar sobre um sistema é relativa aos modos de falha deste.  De seguida será apresentada uma perspectiva geral sobre este problema.

\subsection{Visão Geral}

De forma a fazer esconder detalhes técnicos desnecessários à percepção do problema, apresenta-se de seguida, uma visão geral sobre conceitos envolvidos. A descrição do sistema pode ser na prática bastante verbosa, com muita informação descritiva. Pelo que será apresentada uma visão geral baseada num exemplo bastante simples.

\begin{center}
\includegraphics[scale=0.5]{images/Graphs.png}
\end{center}
\begin{figure}[h]
\caption{Exemplo simplista : descrição de um sistema}
\label{fig:descSystem}
\end{figure}
Um sistema pode ser visto como um grafo orientado e acíclico (Figura ~\ref{fig:descSystem}). Irá designar-se por \texttt{Componente} cada nó desse grafo. Cada nó tem em si contida toda a informação descritiva que necessita, para alem da informação lógica. A informação lógica será a informação que permitirá inferir prespectivas do sistema descrito. 

Irá designar-se por evento um acontecimento dentro de um componente. Esse evento é potencialmente propagado para os componentes posteriores. Na Figura ~\ref{fig:descSystem}, por exemplo, o \texttt{Componente A} é capaz de lançar três eventos (a vermelho) – os eventos lançados por um componente estão representados no topo do rectângulo que o representa – esses eventos representam, no contexto do problema falhas ou causas, que poderão despoletar uma cadeia de eventos. O \texttt{Componente B}, por exemplo, originará um evento \texttt{d} se receber um evento \texttt{a} – os eventos recebidos são representados (com a lógica respectiva) na parte inferior do rectângulo.

Para alem da informação sobre eventos, os eventos iniciais, isto é, que não dependem de outros (na Figura ~\ref{fig:descSystem}, por exemplo, o evento \texttt{a}) deverão conter informação probabilística. 
Existe também o conceito modos de falha ou contextos, isto é, em determinados contextos (composição lógica de falhas) um componente tem uma falha, existindo uma consequência dessa falha. Com isto é possível que um mesmo componente tenha diferentes comportamentos mediante as falhas que lhe são transmitidas, ou seja, diferentes modos de falha.Um outro conceito existente é o conceito de barreira, que é um componente especial do sistema, cujo objectivo é evitar a propagação de falhas. Em termos lógicos, para o calculo, não há qualquer diferença para os restantes componentes, no entanto, dado que a finalidade é outra, é necessário diferenciar entre componentes e barreiras.

Numa FTA existem causas que não são exploradas, por impossibilidade ou por desconhecimento, essas causas podem acontecer a qualquer em qualquer componente (num sistema abstracto). Assim, e para permitir considerar estes eventos na descrição do sistema, existirá o conceito de eventos externos, que serão eventos globais, isto é, visíveis a todos os componentes. Podendo na lógica de repcção de eventos serem considerados para gerarem novos modos de falha (cadeias causa – efeito).Após descrito o sistema será possível usar da informação nele contida para inferir informações mais úteis. A automatização desta inferência permitirá ter uma maior confiança sobre o comportamento do sistema, claro está, sempre dependente de uma boa descrição do problema.

\section{Conclusão}
\bibliography{report}
\bibliographystyle{alpha}
\end{document}